perm filename MARK.2[LET,JMC] blob sn#874962 filedate 1989-06-29 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\input jmclet
C00004 ENDMK
CāŠ—;
\input jmclet
\jmclet
\address
Dr. Hans Mark
Chancellor
University of Texas System
601 Colorado
Austin, Texas  78701
\body

Dear Hans:

	There is a very good group working in the mathematical
logic of computer science and artificial intelligence at the
University of Texas at El Paso.  I mentioned them when I was
visiting in 1987.  However, I think you are about to lose them to
other universities that are impressed by their work.  It
comprises Michael Gelfond, Teodor Przymusinski and Helena
Przymusinska.

	I don't know what the University would have to do to keep
them.

\closing
Best Regards,
John McCarthy
\endletter
\end